A Certified Module to Study Digital Images with the Kenzo System
نویسندگان
چکیده
Kenzo is a Computer Algebra system devoted to Algebraic Topology, written in the Common Lisp programming language. In this paper, programs which allow us to analyze monochromatic digital images with the Kenzo system are presented. Besides a complete automated proof of the correctness of our programs is provided. The proof is carried out using ACL2, a system for proving properties of programs written in (a subset of) Common Lisp.
منابع مشابه
A Proposed Simple Teleradiology System Using a Digital Camera
Background & Aims: Teleradiology as an efficient way for avoiding unnecessary transfer of patients to special medical centers requires the images with digital format. However, in some developing countries, including Iran, imaging is being done using non digital devices. In such cases, changing analog images into digital ones can solve the problem. The method which is nowadays used for digita...
متن کاملA certified module of Simplicial Complexes for the Kenzo system
In the field of Intelligent Information Processing, mechanized reasoning systems provide a chance of increasing the reliability of software systems, namely Computer Algebra Systems. This paper is devoted to a concrete case of this topic. The notion of simplicial complex, see [7], is the most elementary method to settle a connection between common “general” topology and homological algebra. The ...
متن کاملEfficacy of Pseudocolor Tool of Digital System in the Detection of Proximal Caries
Introduction: Various intraoral digital radiographic systems are available as an alternative to film-based radiography. Recent rapid progress in the field of digital radiography offers the possibility of image processing and manipulation. Pseudocolor filter is one of the tools of digital systems. The aim of this study was to compare diagnostic accuracy of proximal caries in black and white a...
متن کاملDiagnostic Accuracy of Digitized Images Using Different Resolution Settings of Digital Camera in Detection of Proximal Caries
Objective: When none of digital systems and scanners is accessible and it is essential to have digitized images of conventional radiographs, digital cameras can be used. The Aim of this study was to investigate whether digital images obtained by different resolutions of a digital camera are matched to the original radiographs in evaluation of caries. Methods: In this diagnostic accuracy in v...
متن کاملA Comparison of Patients Absorption Doses with Bone Deformity Due to the EOS Imaging and Digital Radiology
Background: This study has aimed to measure the patient dose in entire spine radiography by EOS system in comparison with the digital radiography. Methods: EOS stereo-radiography was used for frontal and lateral view spine imaging in 41 patients in a prospective analytical study. A calibrated dose area product (DAP) meter was used for calibration of the DAP in EOS system. The accuracy and pr...
متن کامل